pull a proof